#include <mm/paged.h>

void paged_enable()
{
	
}
